﻿% Dạng 1_2: con vật nào có {thuộc tính} là {giá trị } ?  Semantic
% author: Toan

cau_hoi(lambda(X,TT)) --> nghi_van(NV) , thong_tin(TT) , dau_hoi , {arg(1,TT,NV),arg(1,TT,X)}.

nghi_van(TNV) --> doi_tuong_nghi_van, tu_nghi_van(TNV).

thong_tin(TT) --> dong_tu, thuoc_tinh(TT) , tu_la , doi_tuong_thong_tin(DTTT) ,{arg(2,TT,DTTT)}.

doi_tuong_nghi_van --> [con,vật].

doi_tuong_nghi_van --> [con].

doi_tuong_nghi_van --> [loài].

tu_nghi_van(X) --> [gì].

tu_nghi_van(X) --> [nào].

dong_tu --> [có].

thuoc_tinh(nơi_sống(X,Y)) --> [nơi,sống].

thuoc_tinh(màu_sắc(X,Y)) --> [màu,sắc].

thuoc_tinh(màu_sắc(X,Y)) --> [màu].

thuoc_tinh(thức_ăn(X,Y)) --> [thức,ăn].

thuoc_tinh(con_mồi(X,Y)) --> [con,mồi].

thuoc_tinh(kẻ_thù(X,Y)) --> [kẻ,thù].

thuoc_tinh(lối_sống(X,Y)) --> [lối,sống].

thuoc_tinh(lối_sống(X,Y)) --> [tập, quán, sống].

thuoc_tinh(lối_sống(X,Y)) --> [tập, quán].

thuoc_tinh(đặc_điểm_phân_biệt(X,Y)) --> [đặc,điểm,phân,biệt].

thuoc_tinh(đặc_điểm_phân_biệt(X,Y)) --> [đặc,điểm].

tu_la --> [là].

doi_tuong_thong_tin(X) --> [X].

dau_hoi --> [?].
